Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 321 - 360 hits of 463. Search took 0.00 seconds.
| openSUSE Tumbleweed | /vol/pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586/coq-devel-8.19.2-68.12.i586.rpm |
| openSUSE Tumbleweed | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586/coq-devel-8.19.2-68.12.i586.rpm |
| OpenSuSE | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/oss/x86_64/coq-devel-8.19.2-1.2.x86_64.rpm |
| OpenSuSE | /pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/oss/x86_64/coq-devel-8.19.2-1.2.x86_64.rpm |
| OpenSuSE | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240803/repo/oss/x86_64/coq-devel-8.19.2-1.1.x86_64.rpm |
| OpenSuSE | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240702/repo/oss/x86_64/coq-devel-8.19.2-1.1.x86_64.rpm |
| OpenSuSE | /vol/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240803/repo/oss/x86_64/coq-devel-8.19.2-1.1.x86_64.rpm |
| OpenSuSE | /pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/x86_64/coq-devel-8.19.1-bp157.1.129.x86_64.rpm |
| OpenSuSE | /pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64/coq-devel-8.19.1-bp156.1.14.x86_64.rpm |
| OpenSuSE | /vol/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64/coq-devel-8.19.1-bp156.1.14.x86_64.rpm |
| OpenSuSE | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64/coq-devel-8.19.1-bp156.1.14.x86_64.rpm |
| OpenSuSE | /vol/rzm3/linux-opensuse/distribution/leap/15.6/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.14.x86_64.rpm |
| OpenSuSE | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/x86_64/coq-devel-8.19.1-1.3.x86_64.rpm |
| OpenSuSE | /pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/x86_64/coq-devel-8.19.1-1.3.x86_64.rpm |
| OpenSuSE | /vol/rzm6/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240429/repo/oss/x86_64/coq-devel-8.19.1-1.3.x86_64.rpm |
| OpenSuSE | /vol/pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/x86_64/coq-devel-8.19.1-1.3.x86_64.rpm |
| Rawhide | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/c/coq-core-8.20.1-6.fc44.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/43/Everything/x86_64/os/Packages/c/coq-core-8.20.1-5.fc43.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/testing/43/Everything/x86_64/Packages/c/coq-core-8.20.1-5.fc43.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/43/Everything/x86_64/os/Packages/c/coq-core-8.20.1-5.fc43.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/43_Beta/Everything/x86_64/os/Packages/c/coq-core-8.20.1-4.fc43.x86_64.rpm |
| Fedora 42 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/42_Beta/Everything/x86_64/os/Packages/c/coq-core-8.20.1-1.fc42.x86_64.rpm |
| Fedora 42 | /pbone/archive.fedoraproject.org/fedora/linux/releases/42/Everything/x86_64/os/Packages/c/coq-core-8.20.1-1.fc42.x86_64.rpm |
| Fedora 42 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/42/Everything/x86_64/os/Packages/c/coq-core-8.20.1-1.fc42.x86_64.rpm |
| Fedora 40 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/releases/40/Everything/x86_64/os/Packages/c/coq-core-8.18.0-4.fc40.x86_64.rpm |
| Fedora 40 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/40/Everything/x86_64/os/Packages/c/coq-core-8.18.0-4.fc40.x86_64.rpm |
| Fedora 40 | /pbone/archive.fedoraproject.org/fedora/linux/releases/40/Everything/x86_64/os/Packages/c/coq-core-8.18.0-4.fc40.x86_64.rpm |
| Fedora 41 | /pbone/archive.fedoraproject.org/fedora/linux/updates/41/Everything/x86_64/Packages/c/coq-core-8.18.0-11.fc41.x86_64.rpm |
| Fedora 41 | /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/41/Everything/x86_64/Packages/c/coq-core-8.18.0-11.fc41.x86_64.rpm |
| Fedora 41 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/41/Everything/x86_64/os/Packages/c/coq-core-8.18.0-10.fc41.x86_64.rpm |
| Fedora 41 | /pbone/archive.fedoraproject.org/fedora/linux/releases/41/Everything/x86_64/os/Packages/c/coq-core-8.18.0-10.fc41.x86_64.rpm |
| Fedora 39 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/updates/39/Everything/x86_64/Packages/c/coq-core-8.18.0-1.fc39.x86_64.rpm |
| Fedora 39 | /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/39/Everything/x86_64/Packages/c/coq-core-8.18.0-1.fc39.x86_64.rpm |
| Fedora 39 | /pbone/archive.fedoraproject.org/fedora/linux/updates/39/Everything/x86_64/Packages/c/coq-core-8.18.0-1.fc39.x86_64.rpm |
| Fedora 39 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/releases/39/Everything/x86_64/os/Packages/c/coq-core-8.17.1-5.fc39.x86_64.rpm |
| Fedora 39 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/os/Packages/c/coq-core-8.17.1-5.fc39.x86_64.rpm |
| Fedora 39 | /pbone/archive.fedoraproject.org/fedora/linux/releases/39/Everything/x86_64/os/Packages/c/coq-core-8.17.1-5.fc39.x86_64.rpm |
| Fedora 38 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/updates/38/Everything/x86_64/Packages/c/coq-core-8.17.1-1.fc38.x86_64.rpm |
| Fedora 38 | /vol/pbone/archive.fedoraproject.org/fedora/linux/updates/38/Everything/x86_64/Packages/c/coq-core-8.17.1-1.fc38.x86_64.rpm |
| Fedora 38 | /pbone/archive.fedoraproject.org/fedora/linux/updates/38/Everything/x86_64/Packages/c/coq-core-8.17.1-1.fc38.x86_64.rpm |
